Equivalence Algorithm